BlenX-based compositional modeling of complex reaction mechanisms
نویسندگان
چکیده
منابع مشابه
BlenX-based compositional modeling of complex reaction mechanisms
Molecular interactions are wired in a fascinating way resulting in complex behavior of biological systems. Theoretical modeling provides a useful framework for understanding the dynamics and the function of such networks. The complexity of the biological networks calls for conceptual tools that manage the combinatorial explosion of the set of possible interactions. A suitable conceptual tool to...
متن کاملCompositional Modeling for Complex Spatial Reasoning Tasks*
Reasoiung about a complex physical system generally requires the creation and execution of a model of the system, the creation of wluch in turn depends on the types of knowledge available for the physical system and their representation. Such a model is normally created by the person studying the system. Despite the considerable time and effort spent, a hand-crafted model is often error-prone. ...
متن کاملCompositional Modeling of Wax Formation in Petroleum Mixtures
Heavy organics deposition is a common problem in oil industry, especially in oil production, transportation and processing. Wax or solid paraffin series are examples of heavy organics that deposit. Precipitation and crystallization of wax causes major difficulties in different processes. Based on multi-solid theory, a basic model is modified in this paper for wax precipitation in different oils...
متن کاملCompositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys
In this paper we present the application of a compositional modeling methodology to the re-engineering of Stochastic Well Formed net (SWN) models of a contact center. The modeling methodology is based on the definition of proper operators to connect submodels and it is supported by the OsMoSys modeling framework. The paper describes the implementation of a library of reusable SWN submodels of t...
متن کاملNumerical Combustion Modeling For Complex Reaction Systems
........................................................................................................... 223 Samenvatting ................................................................................................... 225 Curriculum Vitae ............................................................................................. 227
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2010
ISSN: 2075-2180
DOI: 10.4204/eptcs.19.6